Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
391	Analyzing Interrupts and Information Retrieval Systems Using Begohm Ike Antkare International Institute of Technology United Slates of Earth Add to Reading List Source URL: membres-lig.imag.fr Language: English - Date: 2014-01-09 04:24:29 Algorithm Mathematical logic Theoretical computer science
392	Considerations Regarding Human-Level Artificial Intelligence Nils J. Nilsson () Robotics Laboratory Department of Computer Science Stanford University Add to Reading List Source URL: ai.stanford.edu Language: English - Date: 2004-01-22 14:14:52 Artificial intelligence Programming paradigms Computational neuroscience Philosophy of artificial intelligence Futurology Intelligent agent Intelligence Knowledge representation and reasoning Logic programming Robotics Existential risk from artificial general intelligence Artificial general intelligence
393	Binding-Time Analysis for Standard ML Lars Birkedal & Morten Welinder DIKU, Department of Computer Science University of Copenhagen DK–2100 Copenhagen Ø, Denmark Email: & Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:46 Constraint programming Constraint satisfaction problem Lambda calculus Constraint Constraint logic programming Constraint satisfaction
394	Olympiads in Informatics, 2010, Vol. 4, 3–14 © 2010 Institute of Mathematics and Informatics, Vilnius 3 Encouraging Algorithmic Thinking Add to Reading List Source URL: www.mii.lt Language: English - Date: 2015-04-15 03:55:04 Algorithm Mathematical logic Theoretical computer science Computer science Problem solving Australian Informatics Olympiad
395	The Topics Type Inference, Higher Order Algebra, and Lambda Calculus Type Inference: how to find the possible type(s) of expressions, without Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2013-12-11 16:14:47 Lambda calculus Type theory Higher-order functions Programming language comparisons Logic in computer science Anonymous function Type inference Propositional calculus Map Unification Fold Calculus
396	IFSA Newsletter Vol. 3, No. 2, September 2006 In this issue: PLENARY SPEECH OF JANUSZ KACPRZYK AT WCCI’06 Add to Reading List Source URL: isdlab.ie.ntnu.edu.tw Language: English - Date: 2016-04-12 22:54:43 Fuzzy logic Artificial intelligence Soft computing Systems scientists Logic in computer science Lotfi A. Zadeh Computing with words and perceptions Fuzzy set Computational intelligence Fuzzy mathematics IEEE Computational Intelligence Society Fuzzy control system
397	INDUCTIVE LOGIC INDUCTIVE LOGIC The idea of inductive logic as providing a general, quantitative way of evaluating arguments is a relatively modern one. Aristotle’s conception of ‘induction’ (epagog! Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Reasoning Epistemology Statistical inference Probability and statistics Probability theory Inductive probability Probability interpretations Inductive reasoning Probability Rudolf Carnap Bayesian inference Philosophy of science
398	1 Dewey’s Logical Education From Early Essays to Essays in Experimental Logic Introduction Add to Reading List Source URL: www.sunypress.edu Language: English - Date: 2014-10-23 12:16:36 German idealism American philosophers Pragmatists Philosophers of education Philosophy of science John Dewey Pragmatism Charles Sanders Peirce Category of being Classification of the sciences Truth Idealism
399	CS: Introduction to the Design and Analysis of Computer Algorithms Prof. Qiang (Shawn) Cheng Department of Computer Science Southern Illinois University Carbondale Add to Reading List Source URL: www.cs.siu.edu Language: English - Date: 2016-01-25 00:01:16 Algorithms Operations research Mathematical logic Theoretical computer science Jon Kleinberg va Tardos Homework Introduction to Algorithms SL

UPDATE